-
1 дерево вывода
дерево вывода
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Русско-английский словарь нормативно-технической терминологии > дерево вывода
-
2 дерево вывода
-
3 дерево вывода
1) Computers: inference tree2) Engineering: derivation treble3) Mathematics: deduction tree, generation tree4) Information technology: derivation tree5) Robots: (логического) derivation tree -
4 дерево вывода
deduction tree, derivation tree, generation tree, inference tree -
5 дерево вывода
deduction tree, derivation tree, generation tree, inference treeРусско-английский словарь по радиоэлектронике > дерево вывода
-
6 дерево вывода
Русско-английский словарь по вычислительной технике и программированию > дерево вывода
-
7 дерево вывода
deduction tree мат., derivation tree, generation tree, inference treeРусско-английский научно-технический словарь Масловского > дерево вывода
-
8 дерево вывода
-
9 дерево (логического) вывода
Robots: derivation treeУниверсальный русско-английский словарь > дерево (логического) вывода
-
10 дерево логического вывода
Logics: deduction treeУниверсальный русско-английский словарь > дерево логического вывода
-
11 terminating generation tree
Англо-русский словарь промышленной и научной лексики > terminating generation tree
-
12 канонический вывод
Русско-английский большой базовый словарь > канонический вывод
-
13 формулировать задачу
1. definea problem2. define a goal3. define a problemфреймовое представление задачи; фрейм задачи — problem frame
коммерческая задача; экономическая задача — business problem
постановка задачи, формулировка задачи — problem definition
4. define a product5. define a taskзадача, ограниченная скоростью ввода-вывода — I/O bound task
переменная типа "ветвь"; переменная задачи — task variable
задача общего характера; стандартноя задача — common task
Русско-английский большой базовый словарь > формулировать задачу
См. также в других словарях:
дерево вывода — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN derivation tree … Справочник технического переводчика
ВЫВОДА ДЕРЕВО — способ записи выводов в исчислении, при к ром над каждым элементом Рпишутся те элементы вывода, из к рых Рполучен за одно применение вывода правила. Напр., имея вывод в к ром аксиомы, получается за одно применение правила из из из можно записать… … Математическая энциклопедия
ГРАММАТИКА БЕСКОНТЕКСТНАЯ — грамматика контекстно свободная, КС грамматика, грамматика составляющих, все правила к рой имеют вид где А вспомогательный символ и непустая цепочка (так наз. бесконтекстные правила). Языки, порождаемые такими грамматиками, наз. бесконтекстными… … Математическая энциклопедия
Формальная грамматика — Генеративная лингвистика … Википедия
Семейство ястребиные — Птицы, принадлежащие к этому семейству, характеризуются совершенно оперенными плюснами, достигающими длины среднего пальца, кругловатыми или яйцевидными, почти вертикально расположенными в восковице ноздрями и хвостом, равным половине… … Жизнь животных
Израиль — Государство Израиль, в Зап. Азии, на вост. побережье Средиземного моря. Образовано в 1948 г. на основе решения Генеральной Ассамблеи ООН от 29 ноября 1947 г. В качестве названия принято название еврейского гос ва, существовавшего примерно в этих… … Географическая энциклопедия
Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка … Википедия
КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… … История Философии: Энциклопедия
Rete — эффективный алгоритм сопоставления с образцом для продукционных систем, экспертных систем и баз знаний , созданный Чарльзом Форги из Университета Карнеги Меллона. Впервые был описан в рабочем документе 1974 года, затем в докторской диссертации… … Википедия
Алгоритм Rete — Rete[1] эффективный алгоритм сопоставления с образцом для продукционных систем, экспертных систем и баз знаний, созданный Чарльзом Форги из Университета Карнеги Меллона. Впервые был описан в рабочем документе 1974 года, затем в докторской… … Википедия
My Lands — Разработчик Gravvit LLC Дата выпуска 28 июня 2010 года Жанр Компьютерная стратегическая игра Управление Клавиатура, мышь Сайт … Википедия